-- Expected output: false
DEF MAIN:bool == and(false, true)

